selection: Use GdkEvent API
authorMatthias Clasen <mclasen@redhat.com>
Sat, 26 Aug 2017 14:58:39 +0000 (10:58 -0400)
committerCarlos Garnacho <carlosg@gnome.org>
Tue, 19 Sep 2017 16:39:03 +0000 (18:39 +0200)
commitaeaa42121f6e19b0ec5261d5b5966e7a04d70224
treee6ff8f0d352af6c28907290e82fe7de6afcb1e23
parentf43849901dfade9176b6cd272d6965e724716554
selection: Use GdkEvent API
gtk/gtkselection.c